We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

This book challenges the widespread assumption of the incompatibility of evolution and the biological design argument. Kojonen analyzes the traditional arguments for incompatibility, and argues for salvaging the idea of design in a way that is fully compatible with evolutionary biology. Relating current views to their intellectual history, Kojonen steers a course that avoids common pitfalls such as the problems of the God of the gaps, the problem of natural evil, and the traditional Humean and Darwinian critiques. The resulting deconstruction (...) of the opposition between evolution and design has the potential to transform this important debate. (shrink)

College students from small, medium, and large institutions with either a modified or no honor code were presented with cheating scenarios and asked to rate how dishonest they perceived the behavior to be and the likelihood that they would report it. No main effects were found for institution size or type of honor code. Student–faculty ratio was not correlated with responses to the cheating scenarios. Students from modified honor code schools perceived more severe punishments for cheating and understood the reporting (...) process better than students from non–honor code schools. Implications for modified honor code systems are discussed. (shrink)

gl. 1. Ėkofilosofii︠a︡ kak zhiznesokhrani︠a︡i︠u︡shchiĭ kulʹturnyĭ proekt -- gl. 2. Obrazy kulʹtury mira v istoriko-personologicheskom izmerenii -- gl. 3. Borʹba za mir v sovremennom mire : opyt, kont︠s︡ept︠s︡ii, modeli resheniĭ.

Among the many names violently consigned to oblivion, one cannot omit mentioning the name of Gustav Gustavovich Shpet, a scholar who made a substantial contribution to our country's philosophy, psychology, aesthetics, and linguistics. His rehabilitation in 1956 was not enough to restore his memory in public consciousness, paralyzed by the inertia and fears of the Stalinist years, and the freeze that began soon after, of the sprouts that had just been summoned to life, had its impact in an abrogation of (...) agreements, cessation of publications, and in a number of cases removal of references to the philosopher. And the further thirty years of oblivion that followed were one more period of unjust punishment and a new ordeal in the terrible fate of the scholar and his ideas. His writings, which should have been a new word in science, should have given direction to further investigations, became effectively inaccessible to subsequent generations. References to Shpet in the works of Viach. Vs. Ivanov, Iu. M. Lotman, D. S. Likhachev, A. P. Chudakov, and others, and the article in Philosophical Encyclopedia [Filosofskaia entsiklopediia] written by V. S. Asmus aroused interest in Shpet's writings in Hungary and Germany. In the summer of 1986, an international conference on Shpet was held in Bochum, and his books are being translated. Unfortunately, in his own country the level of research on the philosopher's writings and thoughts is still almost at point zero, but we may hope that interest in Shpet's ideas will grow considerably in connection with the publication of the series From the History of Russian Philosophical Thought [Iz istorii otechestvennoi filosofskoi mysli] and a number of other publications. (shrink)

In the whole theory of the Latin tenses there is no more popular item than this explanation by Roby of the use of the pluperfect indicative in unreal conditional sentences. Far the most familiar instance is that in Horace , ‘me truncus illapsus cerebro sustulerat, nisi Faunus ictum dextra leuasset.’.

Volume 29, Issue 4, October-December, Page 278-279.

As the black clouds of war lift from the surface of the Continents of Europe and Nearer Asia, the eye looks round upon a shattered civilization. The once busy tide of labour on the field and in the factory, beneath the soil and within dock, ebbs slowly away; the accustomed rewards of toil, food, warmth and clothing, become daily more difficult of attainment. Authority trembles in its seat, and money loses its once all-powerful attraction. Inevitably the scholar recalls the tale (...) of the Decline and Fall of the Roman-Hellenistic world, and calculates the prospect of a second millennium of darkness and suffering. And he is not unconscious that he stands himself accused of having brought about, or at least failed to avert, the doom of the nations. For, he is told, the governing classes of all the nations that clashed in mutual destructiveness were constituted of men brought up in the classical tradition, whose minds in their fresh boyhood were fed on the so-called glories of Alexander the Great and of Julius Caesar, and who sought in rivalry to win, each for his nation, the haughty supremacy of imperial Rome. And he hears the clamour of those who demand a clean sweep of the false ideals and selfish ambitions of the past, and the building upon new foundations of a world of contentment and peace, inspired by the basic conception of a citizenship in which no man shall seek his own gain at the cost of another's loss. Towards the building up of this new world, it is claimed, the study of the past can do nothing to help; by effacing itself it will cease to be a hindrance. And in response to this accusation there arise in all directions schemes for a reconstructed world, a reconstituted nation, and a new education, which shall be alike in this one point—that they take for granted the elimination of the study of antiquity and the disappearance of the atmosphere of the Humanities. (shrink)